1st theorem of isomorphism